Tootfinder

Weil es gerade wieder die Zeit ist, wo man seiner Familie etwas Gutes tut: Nutzt die Zeit zwischen dem Ostereiersuchen und die Verdauungspausen zwischen den Gängen des Festmahls dazu, die Rechner eurer Verwandten und Bekannten etwas sicherer zu machen:
Werbe- und Trackingfilter stärken die #Privatsphäre und sind heutzutage leider unverzichtbare Sicherheitsmassnahmen.

#WaZiFuBo mit #Osterhase. Nette Geste gegenüber den Angestellten hier. 🐰 (Kurz nach dem Foto war der Schokohase dann auch schon wieder verschwunden. 😊 Nein, nicht durch mich. 😉)

Fedora Silverblue 40 is out today. If you have rpm-fusion layered so you can’t upgrade through GNOME Software, run these commands in Terminal:
1. Pin current version:
sudo ostree admin pin 0
2. Handle rpm-fusion nastiness:
rpm-ostree update --uninstall rpmfusion-free-release --uninstall rpmfusion-nonfree-release --install rpmfusion-free-release --install rpmfusion-nonfree-release
3. Rebase to Fedora Silverblue 40:
rpm-ostree rebase fedora:fedora/40/x86_64/…

🔊 #NowPlaying on fip
Pilar Jurado & Octuor De Violoncelles Conj:
🎵 Cançoes de Beiramar Op 21bis Version pour soprano et 8 violoncelles : Iemanja ôtô
#PilarJurado #OctuorDeVioloncellesConj

🔊 #NowPlaying on BBCRadio2's #OJBorg
Belinda Carlisle:
🎵 Heaven Is A Place On Earth
#BelindaCarlisle
https://open.spotify.com/track/37Q5anxoGWYdRsyeXkkNoI
https://rockpopclassics.bandcamp.com/album/belinda-carlisle-heaven-is-a-place-on-earth-2-versions

Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices
David Binder, Ingo Skupin, Tim S\"uberkr\"ub, Klaus Ostermann
https://arxiv.org/abs/2403.06707

Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices
The expression problem describes how most types can easily be extended with new ways to produce the type or new ways to consume the type, but not both. When abstract syntax trees are defined as an algebraic data type, for example, they can easily be extended with new consumers, such as print or eval, but adding a new constructor requires the modification of all existing pattern matches. The expression problem is one way to elucidate the difference between functional or data-oriented programs (e…

"Skifahrn adé? #Österreich wird bald so gut wie eisfrei sein, es wird keine #Gletscher mehr geben
Gletscher-Experten der Uni Graz und Österreichs #Alpenverein schlagen Alarm: Da…

Skifahrn adé? Österreich wird in 40 Jahren so gut wie eisfrei sein
Gletscher-Experten der Uni Graz und Österreichs Alpenverein schlagen Alarm: Das Verschwinden der Gletscher ist nicht mehr aufzuhalten.

Higher time-derivative theories from space-time interchanged integrable field theories
Andreas Fring, Takano Taira, Bethan Turner
https://arxiv.org/abs/2403.11949

Higher time-derivative theories from space-time interchanged integrable field theories
We compare a relativistic and a nonrelativistic version of Ostrogradsky's method for higher-time derivative theories extended to scalar field theories and consider as an alternative a multi-field variant. We apply the schemes to space-time rotated modified Korteweg-de Vries systems and, exploiting their integrability, to Hamiltonian systems built from space-time rotated inverse Legendre transformed higher-order charges of these systems. We derive the equal-time Poisson bracket structures of the…

🔊 #NowPlaying on BBCRadio2's #TheZoeBallBreakfastShow
Belinda Carlisle:
🎵 Heaven Is A Place On Earth
#BelindaCarlisle
https://open.spotify.com/track/37Q5anxoGWYdRsyeXkkNoI
https://rockpopclassics.bandcamp.com/album/belinda-carlisle-heaven-is-a-place-on-earth-2-versions

Weil wir gerade beim #bloomscrolling sind, das letzte Stück der Narzissen-Serie - dieses große Edelstahl-Medaillon - ist noch im Shop zu haben.
Handgemalter #wandklexschmuck, eh klar, auf #artjewellery #artShop #watercolor #watercolour #aquarell #mastoart #creativeToots #fediart